11![Online Word Games for Semantic Data Collection David Vickrey Aaron Bronzan William Choi Aman Kumar Jason Turner-Maier Arthur Wang Daphne Koller Stanford University Stanford, CA {dvickrey,abronzan,aman,arthurex Online Word Games for Semantic Data Collection David Vickrey Aaron Bronzan William Choi Aman Kumar Jason Turner-Maier Arthur Wang Daphne Koller Stanford University Stanford, CA {dvickrey,abronzan,aman,arthurex](https://www.pdfsearch.io/img/97488373b234294366c0d6399443788f.jpg) | Add to Reading ListSource URL: robotics.stanford.eduLanguage: English - Date: 2008-11-05 13:42:54
|
---|
12![Autom Softw Eng DOIs10515AutoQuery: automatic construction of dependency queries for code search Shaowei Wang · David Lo · Lingxiao Jiang Autom Softw Eng DOIs10515AutoQuery: automatic construction of dependency queries for code search Shaowei Wang · David Lo · Lingxiao Jiang](https://www.pdfsearch.io/img/3811056b98552cbb516c3ac6f62c7e40.jpg) | Add to Reading ListSource URL: soarsmu.github.ioLanguage: English - Date: 2016-07-17 08:44:51
|
---|
13![Jitk: A Trustworthy In-Kernel Interpreter Infrastructure Xi Wang, David Lazar, Nickolai Zeldovich, Adam Chlipala, Zachary Tatlock MIT CSAIL and University of Washington Abstract Jitk: A Trustworthy In-Kernel Interpreter Infrastructure Xi Wang, David Lazar, Nickolai Zeldovich, Adam Chlipala, Zachary Tatlock MIT CSAIL and University of Washington Abstract](https://www.pdfsearch.io/img/08aa457fd1c3ed5137f4b40c03f855eb.jpg) | Add to Reading ListSource URL: people.csail.mit.eduLanguage: English |
---|
14![MODELLING AND STABILITY OF FAST TCP∗ JIANTAO WANG† , DAVID X. WEI† , JOON-YOUNG CHOI‡ , AND STEVEN H. LOW† Abstract. We discuss the modelling of FAST TCP and prove four stability results. Using the traditional MODELLING AND STABILITY OF FAST TCP∗ JIANTAO WANG† , DAVID X. WEI† , JOON-YOUNG CHOI‡ , AND STEVEN H. LOW† Abstract. We discuss the modelling of FAST TCP and prove four stability results. Using the traditional](https://www.pdfsearch.io/img/131d96c50c2763625e7b5637d52b07a7.jpg) | Add to Reading ListSource URL: netlab.caltech.eduLanguage: English - Date: 2006-07-15 20:10:50
|
---|
15![Tracking Certificate Misissuance in the Wild Deepak Kumar∗ , Zhengping Wang∗ , Matthew Hyder∗ , Joseph Dickinson∗ , Gabrielle Beck† , David Adrian† , Joshua Mason∗ , Zakir Durumeric∗†‡ , J. Alex Halde Tracking Certificate Misissuance in the Wild Deepak Kumar∗ , Zhengping Wang∗ , Matthew Hyder∗ , Joseph Dickinson∗ , Gabrielle Beck† , David Adrian† , Joshua Mason∗ , Zakir Durumeric∗†‡ , J. Alex Halde](https://www.pdfsearch.io/img/5dbd4d505ef9ac8b8aeea5bb32271dd8.jpg) | Add to Reading ListSource URL: zakird.com |
---|
16![Tracking Certificate Misissuance in the Wild Deepak Kumar∗ , Zhengping Wang∗ , Matthew Hyder∗ , Joseph Dickinson∗ , Gabrielle Beck† , David Adrian† , Joshua Mason∗ , Zakir Durumeric∗†‡ , J. Alex Halde Tracking Certificate Misissuance in the Wild Deepak Kumar∗ , Zhengping Wang∗ , Matthew Hyder∗ , Joseph Dickinson∗ , Gabrielle Beck† , David Adrian† , Joshua Mason∗ , Zakir Durumeric∗†‡ , J. Alex Halde](https://www.pdfsearch.io/img/550400dffebaab207b3dbf30fb088377.jpg) | Add to Reading ListSource URL: kumarde.com- Date: 2018-01-08 17:29:16
|
---|
17![Demystifying the Secure Enclave Processor Tarjei Mandt (@kernelpool) Mathew Solnik (@msolnik) David Wang (@planetbeing) Demystifying the Secure Enclave Processor Tarjei Mandt (@kernelpool) Mathew Solnik (@msolnik) David Wang (@planetbeing)](https://www.pdfsearch.io/img/c9ca218bfbd6a2c5fab99e9d68ee9776.jpg) | Add to Reading ListSource URL: www.syscan360.org- Date: 2016-12-04 21:58:42
|
---|
18![CERES Energy Balanced and Filled (EBAF) TOA Edition 4 Update Norman G. Loeb, Wenying Su, Hailan Wang, Cathy Nguyen, David Doelling, Lusheng Liang, Joe Corbett, and Fred Rose CERES Energy Balanced and Filled (EBAF) TOA Edition 4 Update Norman G. Loeb, Wenying Su, Hailan Wang, Cathy Nguyen, David Doelling, Lusheng Liang, Joe Corbett, and Fred Rose](https://www.pdfsearch.io/img/f20fa72c1cfcaedcc1fed0fbdcbdf288.jpg) | Add to Reading ListSource URL: ceres.larc.nasa.gov- Date: 2016-04-26 13:10:24
|
---|
19![Progress toward ensemble 7-day streamflow forecast for Australia David Robertson, QJ Wang, James Bennett, Durga Lal Shrestha, Yong Song, Ming Li, Jean-Michel Perraud, Robert Bridgart, Alex Sha CSIRO LAND AND WATER Progress toward ensemble 7-day streamflow forecast for Australia David Robertson, QJ Wang, James Bennett, Durga Lal Shrestha, Yong Song, Ming Li, Jean-Michel Perraud, Robert Bridgart, Alex Sha CSIRO LAND AND WATER](https://www.pdfsearch.io/img/9cfba0ecb55de72c963f72fcb8b487f4.jpg) | Add to Reading ListSource URL: hepex.irstea.fr- Date: 2016-06-20 06:48:43
|
---|
20![Creating Vulnerability Signatures Using Weakest Preconditions David Brumley Hao Wang Somesh Jha Creating Vulnerability Signatures Using Weakest Preconditions David Brumley Hao Wang Somesh Jha](https://www.pdfsearch.io/img/016b62f33f830135130eb1bdb3a1f1a0.jpg) | Add to Reading ListSource URL: users.ece.cmu.edu- Date: 2014-05-29 15:38:01
|
---|